Programming language theory - PDFSEARCH.IO - Document Search Engine

Programming language theory
Results: 4158

#	Item
201	PDF Document Add to Reading List Source URL: www.tonylester.co.uk Language: English - Date: 2015-06-12 04:19:20 Auctioneering ALGOL 68 Software engineering Computing Programming language theory Auction Auction theory
202	DOC Document Add to Reading List Source URL: comms.leeds.ac.uk Language: English - Date: 2013-04-03 03:46:41 Creative brief ALGOL 68 Software engineering Computing Outsourcing Procurement Technical communication Programming language theory Recruitment Sourcing
203	Luminate Web Services Release 1.25 Version 1.25 of Luminate Web Services is now available. Version 1.25 is a patch to address bugs, to improve support for calendar events and groups, and to upgrade obsolete dependencies. Add to Reading List Source URL: open.convio.com Language: English - Date: 2015-06-12 16:52:52 Computer programming Enumerated type Type theory Enumeration Record C Web Services Description Language This Computing Software engineering Data types
204	Nav and Control Software RevComments/corrections to Alex Brown The Nav and Control software provides several functions for the Leaf robots: communications with the microcontroller; receiving data Add to Reading List Source URL: www.leafproject.org Language: English - Date: 2010-01-13 10:51:52 Functional languages Lisp programming language Embedded systems Lisp Robotics Forth Microcontroller Batch file Logo Computing Software engineering Programming language theory
205	BRICS DS-05-2 J. Iversen: Formalisms and tools supporting Constructive Action Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2007-01-15 18:51:53 Programming language semantics Action semantics Formal languages Peter Mosses Programming language SYNTAX ASF+SDF Meta Environment Programming language theory Theoretical computer science Software engineering
206	BRICS Basic Research in Computer Science BRICS DS-01-4 M. Rhiger: Higher-Order Program Generation Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-01-08 09:02:48 Functional languages Type theory Data types Lambda calculus Logic in computer science Type system ML OCaml Partial evaluation Software engineering Programming language theory Computing
207	Scope Chapter Ten Modern Programming Languages, 2nd ed. Add to Reading List Source URL: www.webber-labs.com Language: English - Date: 2010-08-18 22:43:41 Procedural programming languages Functional languages Cross-platform software Subroutines Scope Data types Namespace Variable C Software engineering Computing Programming language theory
208	Human Translation Server What is HTS Key benefits Add to Reading List Source URL: www.translated.net Language: English - Date: 2014-12-05 10:10:51 Punctuation Forth Translation memory ALGOL 68 Quotation mark glyphs Software engineering Programming language theory Computing
209	Languages as Libraries Sam Tobin-Hochstadt Vincent St-Amour Ryan Culpepper Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-06-29 14:59:59 Functional languages Type theory Source code Lisp programming language Racket Macro Programming language Type safety Type system Software engineering Computing Computer programming
210	BRICS Basic Research in Computer Science BRICS NS-94-4 P. D. Mosses (ed.): 6th Nordic Workshop on Programming Theory Add to Reading List Source URL: www.brics.dk Language: English - Date: 2003-12-10 05:30:33 Logic in computer science Programming language semantics Philosophical logic Modal logic Model checking Denotational semantics Peter Mosses Temporal logic Mereology Theoretical computer science Mathematical logic Logic

UPDATE